second-order predicate logic
[数] 二阶谓词逻辑
热门查询
- intermediation n. 调解；仲裁；调停；作中间人
- monmouth n. 蒙默思郡（英国威尔士原郡名）
- lithe adj. 轻盈的（等于lithesome）；柔软的；易弯曲的
- whistle n. 口哨；汽笛；呼啸声 vt. 吹口哨；鸣汽笛
- precolonial adj. 殖民地时期前的；沦为殖民地前的
- pericle n. (Pericle)人名；(意、葡、罗)佩里克莱
- Cumbria 坎布里亚郡 [英国英格兰郡名]
- troupe n. 剧团；一班；一团 vi. 巡回演出 n. (Troupe)人名；(英)特鲁普
- reciprocating n. 往复 adj. 往复的；交互的；摆动的 v. 往复运动（reciprocate的ing形式）；互给；报答
- nicholas n. 尼古拉斯（男子名）
- refueling n. 再加燃料；再加油 v. 给…再加燃料（refuel的ing形式）
- snag n. 障碍；意外障碍；突出物 vt. 抓住机会；造成阻碍；清除障碍物 vi. 被绊住；形成障碍
- intervener n. 干涉者；介入者；调停者（等于intervenor）
- fluorescent n. 荧光；日光灯 adj. 荧光的；萤光的；发亮的
- essentialist n. 基本教育说；实在说
- yoga n. 瑜珈（意为“结合”，指修行）；瑜珈术 n. 联想可360°翻转的超轻薄笔记本电脑
- Hodgson 霍奇森（姓氏）
- otto n. 玫瑰油
- EEG abbr. 脑电图描记器（electroencephalo-graph）
- fey n. (Fey)人名；(德)法伊；(法)费 adj. （苏格兰）注定要死的；垂死的；（临死前）异常兴奋的
考试词汇表
- navigation microfilm projector
- navigation service for landing
- navigation warning for Pacific
- navigationalmicrofilmprojector
- navy riverine assault elements
- ndimensional rectangular array
- ndt (nil-ductility transition)
- near and far visual difference
- near distance electrooptometer
- near end crosstalk attenuation
- near field diffraction pattern
- near zone field strength meter
- near-end crosstalk attenuation
- near-equilibrium flow criteria
- near-extreme multicollinearity
- near-field antenna measurement
- near-field transmission system
- nearest neighbor approximation
- nearest neighbor interpolation
- neckera complanata (l.) hiiben
